This two-volume set constitutes the proceedings of the 26th International Conference on Tools and Algorithms for the Construction ...
WeiterlesenThis book set constitutes the proceedings of the 26th International Conference on Tools and Algorithms for the Construction ...
WeiterlesenThis two-volume set constitutes the proceedings of the 27th International Conference on Tools and Algorithms for the Construction ...
WeiterlesenThis two-books set constitutes the proceedings of the 27th International Conference on Tools and Algorithms for the Construction ...
WeiterlesenThis is Part II: concurrent and distributed systems; monitoring and runtime verification; hybrid and stochastic systems; ...
WeiterlesenThis book constitutes the proceedings of the 28th International Conference on Tools and Algorithms for the Construction and ...
Weiterlesen